Merge branch 'shortcuts-sizing' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 29 May 2019 21:18:46 +0000 (21:18 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 29 May 2019 21:18:46 +0000 (21:18 +0000)
Fix shortcuts window sizing

Closes #11

See merge request GNOME/gtk!885


Trivial merge